The Church-Turing thesis: Still valid after all these years?
نویسنده
چکیده
This paper discusses whether recent proposals for so-called hypercomputation would, if realised in practice, invalidate the Church–Turing thesis. 2005 Elsevier Inc. All rights reserved.
منابع مشابه
Non-Turing computations via Malament–Hogarth space-times
We investigate the Church–Kalmár–Kreisel–Turing Theses concerning theoretical (necessary) limitations of future computers and of deductive sciences, in view of recent results of classical general relativity theory. We argue that (i) there are several distinguished Church–Turing-type Theses (not only one) and (ii) validity of some of these theses depend on the background physical theory we choos...
متن کاملThe Church-Turing Thesis over Arbitrary Domains
The Church-Turing Thesis has been the subject of many variations and interpretations over the years. Specifically, there are versions that refer only to functions over the natural numbers (as Church and Kleene did), while others refer to functions over arbitrary domains (as Turing intended). Our purpose is to formalize and analyze the thesis when referring to functions over arbitrary domains. F...
متن کاملOn the Church-Turing Thesis
After a brief description of the Church-Turing Thesis, we suggest that, according to the latest results on classical recursive probabilistic solution of the Halting Problem, such thesis is asymptotically false.
متن کاملThe Computational Complexity of Evolving Systems
The work in this thesis has been carried out under the auspices of the research school IPA (Institute for Programming research and Algorithmics). Introduction Models for computational devices are crucial to many fields of computer science. Without a suitable model, there is no foundation to base one's theories on. Choosing a proper model for a computational phenomenon is not an easy task. If th...
متن کاملThe Church-Turing Thesis: Breaking the Myth
According to the interactive view of computation, communication happens during the computation, not before or after it. This approach, distinct from concurrency theory and the theory of computation, represents a paradigm shift that changes our understanding of what is computation and how it is modeled. Interaction machines extend Turing machines with interaction to capture the behavior of concu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Applied Mathematics and Computation
دوره 178 شماره
صفحات -
تاریخ انتشار 2006